- check by substitution
- проверка подстановкой
Англо-русский технический словарь.
Англо-русский технический словарь.
Check digit — A check digit is a form of redundancy check used for error detection, the decimal equivalent of a binary checksum. It consists of a single digit computed from the other digits in the message. With a check digit, one can detect simple errors in… … Wikipedia
Substitution cipher — In cryptography, a substitution cipher is a method of encryption by which units of plaintext are replaced with ciphertext according to a regular system; the units may be single letters (the most common), pairs of letters, triplets of letters,… … Wikipedia
Check and balance — Séparation des pouvoirs La séparation des pouvoirs est un principe de répartition des différentes fonctions de l État, qui sont confiées à différentes composantes de ce dernier. On retient le plus souvent la classification de Montesquieu, appelée … Wikipédia en Français
Cyclic redundancy check — A cyclic redundancy check (CRC) is an error detecting code designed to detect accidental changes to raw computer data, and is commonly used in digital networks and storage devices such as hard disk drives. Blocks of data entering these systems… … Wikipedia
currency substitution — something used in place of cash (check, credit card, etc.) … English contemporary dictionary
relativistic mechanics — ▪ physics Introduction science concerned with the motion of bodies whose relative velocities approach the speed of light c, or whose kinetic energies are comparable with the product of their masses m and the square of the velocity of light … Universalium
Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… … Wikipedia
Unification (computer science) — Unification, in computer science and logic, is an algorithmic process by which one attempts to solve the satisfiability problem. The goal of unification is to find a substitution which demonstrates that two seemingly different terms are in fact… … Wikipedia
Metamath — Developer(s) Norman Megill Written in C Operating system … Wikipedia
Field lacrosse — This article is about men s field lacrosse. For women s field lacrosse, see Women s lacrosse . Field lacrosse A lacrosse player advancing, pursued by an opponent Highest governing body Federation of International Lacrosse First played … Wikipedia
Penalty (ice hockey) — A penalty in ice hockey is a punishment for inappropriate behavior. Most penalties are enforced by detaining the offending player within a penalty box for a set number of minutes, during which, the player can not participate in play. The… … Wikipedia